Complexity theory - PDFSEARCH.IO - Document Search Engine

Complexity theory
Results: 3600

#	Item
491	Controlling Extraction in Abstract Categorial Grammars Sylvain Pogodalla1 and Florent Pompigne2 1 Add to Reading List Source URL: www.angl.hu-berlin.de Language: English Theoretical computer science Grammar frameworks Complexity classes Theory of computation Type theory Formal languages Mathematics Categorial grammar NP Lambda calculus Model theory
492	CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Computational complexity theory Mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Simplex algorithm
493	A Note on the Complexity of P -Matrix LCP and Computing an Equilibrium Nimrod Megiddo (A draft MayAbstract. Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-04-08 16:28:32
494	Learning and Explora/on in Automated Theorem Proving Moa Johansson Chalmers University of Technology Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Logic Philosophy Abstraction Automated theorem proving Proof theory Computational complexity theory Proof assistants Theorem Mathematical proof Type theory Algorithm Proof
495	February 3, 2009 COM S 6810 Theory of Computing Lecture 5: Polynomial Hierarchy Instructor: Rafael Pass Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-02-04 17:20:26 Computational complexity theory Complexity classes Theory of computation Polynomial hierarchy P versus NP problem IP True quantified Boolean formula NP PP Oracle machine PSPACE-complete Polynomial-time reduction
496	On the Virtue of Succinct Proofs: Amplifying Communication Complexity Hardness to Time-Space Trade-offs in Proof Complexity [Extended Abstract] Trinh Huynh Add to Reading List Source URL: www.complexity.ethz.ch Language: English - Date: 2012-03-28 07:53:42 Theoretical computer science Computational complexity theory Mathematics Automated theorem proving Logic in computer science Rules of inference Resolution Proof complexity Conflict-Driven Clause Learning Boolean algebra Exponential time hypothesis PP
497	An algorithm for graph isomorphism and its application to KEGG Compound Search Nobuya Tanaka1 Susumu Goto Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2005-01-18 03:42:21 Mathematics Computational complexity theory Systems biology Subgraph isomorphism problem KEGG Matching Algorithm
498	Almost Optimal Exploration in Multi-Armed Bandits Zohar Karnin Yahoo! Labs, Haifa, Israel Tomer Koren† Technion—Israel Institute of Technology, Haifa, Israel Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-08-14 01:36:43 Mathematics Computational complexity theory Mathematical analysis Machine learning Multi-armed bandit Stochastic optimization Algorithm Exponential time hypothesis Big O notation
499	9th International Symposium on Experimental Algorithms May, 2010 – Hotel Continental Terme, Ischia (Naples), Italy Call for Papers Program Committee David A. Bader (Georgia Inst. of Technology, USA) Add to Reading List Source URL: www.sea2010.unina.it Language: English - Date: 2010-02-04 18:50:34 Theoretical computer science Computational complexity theory Giuseppe F. Italiano Combinatorial optimization Algorithm Kurt Mehlhorn Mathematical optimization Mathematics Science and technology in Germany Computer science

UPDATE